#ifndef DISKS_H_
#define DISKS_H_

#include "types.h"
#include "device.h"

tword get_device_size(int dev_no);
int read_block(int dev_no, dword blk_no, void *buffer_in);
int write_block(int dev_no, dword blk_no, void *buffer_out);
int read_blocks(int dev_no, dword blk_begin, int count, void* buffer_in);
int write_blocks(int dev_no, dword blk_begin, int count, void* buffer_out);

#endif
